( 2007_minimaxi12 )